Uma Proposta de Modelagem para a Generalização de Elos de Rastreabilidade

Several models proposed traceability links that provide pre–definedgroups of links for requirements traceability. These models are limited to pre–defined links without the ability to add new attributes to the existing links. This work proposes a model for requirements traceability that generalizes the types of links already establishedin the literature and enables addition of new standards allowing the inclusion of attributes to the links that will be used in a specific traceability process.Diversos modelos propõem tipos pré–definidos de elos para a rastreabilidade de requisitos. Tais modelos fazem extensivas observações sobre as práticas da rastreabilidade, mas são limitados tanto pelos tipos de elos pré–definidos quanto pelacapacidade de incluir atributos para os elos. Este trabalho propõe um modelo para rastreabilidade de requisitos que generaliza os tipos de elos já definidos, permitindo a adição de novos padrões e a inclusão de atributos para os elos que serão utilizados em um determinado processo de rastreabilidade

Editorial

Editorial da Coordenação Científica da Edição Especial Computação Aplicada ao Meio Ambient

Transformation of UML Behavioral Diagrams to Support Software Model Checking

Unified Modeling Language (UML) is currently accepted as the standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry. Verification and Validation of complex software developed according to UML is not trivial due to complexity of the software itself, and the several different UML models/diagrams that can be used to model behavior and structure of the software. This paper presents an approach to transform up to three different UML behavioral diagrams (sequence, behavioral state machines, and activity) into a single Transition System to support Model Checking of software developed in accordance with UML. In our approach, properties are formalized based on use case descriptions. The transformation is done for the NuSMV model checker, but we see the possibility in using other model checkers, such as SPIN. The main contribution of our work is the transformation of a non-formal language (UML) to a formal language (language of the NuSMV model checker) towards a greater adoption in practice of formal methods in software development.Comment: In Proceedings FESCA 2014, arXiv:1404.043

On the Use of Hybrid Heuristics for Providing Service to Select the Return Channel in an Interactive Digital TV Environment

The technologies used to link the end-user to a telecommunication infrastructure, has been changing over time due to the consolidation of new access technologies. Moreover, the emergence of new tools for information dissemination, such as interactive digital TV, makes the selection of access technology, factor of fundamental importance. One of the greatest advantages of using digital TV as means to disseminate information is the installation of applications. In this chapter, a load characterization of a typical application embedded in a digital TV is performed to determine its behavior. However, it is important to note that applications send information through an access technology. Therefore, this chapter, based on the study on load characterization, developed a methodology combining Bayesian networks and technique for order preference by similarity to ideal solution (TOPSIS) analytical approach to provide support to service providers to opt for a technology (power line communication, PLC, wireless, wired, etc.) for the return channel

Procedimento interativo para o cálculo da transmitância atmosférica

Pages: 525-53

Wireless mesh networks planning based on parameters of quality of service

The use of QoS parameters to evaluate the quality of service in a mesh network is essential mainly when providing multimedia services. This paper proposes an algorithm for planning wireless mesh networks in order to satisfy some QoS parameters, given a set of test points (TPs) and potential access points (APs). Examples of QoS parameters include: probability of packet loss and mean delay in responding to a request. The proposed algorithm uses a Mathematical Programming model to determine an adequate topology for the network and Monte Carlo simulation to verify whether the QoS parameters are being satisfied. The results obtained show that the proposed algorithm is able to find satisfactory solutions

Investigação e Aplicação de Ferramentas para Análise de Séries Temporais em Ambiente de Software Livre

A análise de séries temporais não-estacionárias em geral, comuns na natureza, exige a utilização de abordagens robustas da matemática. Duas novas técnicas estatísticas computacionais que tem introduzido novos paradigmas à teoria da análise de séries temporais e merecem destaque são a transformada em ondeletas e a análise de padrões-gradiente. O presente trabalho tem por objetivo investigar as características dessas técnicas, em um ambiente comum de programação seguindo o conceito de software científico livre como, por exemplo, o Scilab. As técnicas foram aplicadas em séries temporais de temperatura do ar medidas em reservatórios hidrelétricos do Brasil. Análises preliminares em periodogramas e no espectro de ondeleta global permitem a identificação de padrões de variabilidade, possivelmente, associados ao ciclo diurno da temperatura. A análise de padrões-gradiente apresentam os momentos estatísticos e o valor médio do parâmetro FA muito semelhantes. Os resultados preliminares mostraram-se coerentes quando comparados com as implementações originais, desenvolvidas em ambientes distintos de programação como, por exemplo, Matlab e IDL